Concrete data structures as games
نویسنده
چکیده
A result by Curien establishes that filiform concrete data structures can be viewed as games. We extend the idea to cover all stable concrete data structures. This necessitates a theory of games with an equivalence relation on positions. We present a faithful functor from the category of concrete data structures to this new category of games, allowing a game-like reading of the former. It is possible to restrict to a cartesian closed subcategory of these games, where the function space does not decompose and the product is given by the usual tensor product construction. There is a close connection between these games and graph games.
منابع مشابه
Time-Dependent Structural Behavior of Repaired Corroded RC Columns Located in a Marine Site
The chloride corrosion of reinforcing steel in reinforced concrete (RC) structures is a significant reason for premature deterioration and failure of RC structures in aggressive environments such as Persian Gulf region. This is one of the most important sources of engineering and economic problems in developed countries. So, the repair and maintenance of RC structures exposed to corrosive envir...
متن کاملExperimental Investigation of Corrosion Cracking in Reinforced Concrete Beams Containing Nano Wollastonite
Cracking of the concrete cover due to corrosion is defined as the serviceability limit state of reinforced concrete structures. This study evaluated the influence of a mineral admixture i.e. nano wollastonite on corrosion performance and serviceability of reinforced concrete structures by performing an accelerated corrosion test on ten reinforced concrete beams under a sustained load. To do so,...
متن کاملEvaluation of Seismic Response of Concrete Structures Reinforced by Shape Memory Alloys (Technical Note)
Shape memory alloys (SMAs) are unique smart materials that have many advantages, such as ability to resist large strains without leaving residual strains and ability to recover original form. However, the high costs of SMAs have limited their usage. This paper evaluates the behavior of concrete structures equipped with SMAs in an optimal manner as they are being used along the plastic hinge of ...
متن کاملارزیابی مدل های تخمین عمر مفید خدمت رسانی برای سازه های بتن مسلح در محیط دریایی خلیج فارس
Chloride ion ingress is one of the major problems that affect the durability of reinforced concrete structures such as bridge decks, concrete pavements, and other structures exposed to harsh saline environments. Therefore, durability based design of concrete structures in marine areas has gained great significance in recent decades and various mathematical models for estimating the service life...
متن کاملOptimization of concrete structure mixture plan in marine environment using genetic algorithm
Today due to increasing development and importance of petroleum activities andmarine transport as well as due to the mining of seabed, building activities such as construction of docks, platforms and structures as those in coastal areas and oceans has increased significantly. Concrete strength as one of the most important necessary parameters for designing, depends on many factors such as mixtu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 122 شماره
صفحات -
تاریخ انتشار 2005